Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 82.Ident. | Authors (with country if any) | Title |
---|---|---|
001089 | Olivier Bournez [France] ; Daniel Graça [Portugal] ; Emmanuel Hainry [France] | Computation with perturbed dynamical systems |
002534 | Olivier Bournez [France] ; Walid Gomaa [Égypte] ; Emmanuel Hainry [France] | Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions |
002E61 | Olivier Bournez [France] ; Gilles Dowek [France] ; Rémi Gilleron [France] ; Serge Grigorieff [France] ; Jean-Yves Marion [France] ; Simon Perdrix [France] ; Sophie Tison [France] | Décidabilité et Complexité |
003032 | Olivier Bournez [France] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | Robust Computations with Dynamical Systems |
003354 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | A dynamic approach for load balancing |
003442 | Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France] | Implicit complexity in recursive analysis |
003B72 | Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler [France] | On the convergence of population protocols when population goes to infinity |
003B83 | Dominique Barth [France] ; Johanne Cohen [France] ; Olivier Bournez [France] ; Octave Boussaton [France] | DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME |
003D05 | Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France] | Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions |
003D37 | Olivier Bournez [France] ; Jérémie Chalopin [France] ; Johanne Cohen [France] | Playing With Population Protocols |
003E83 | Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler | On the Convergence of a Population Protocol When Population Goes to Infinity |
003E85 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Distributed Learning of Wardrop Equilibria |
004400 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Distributed Learning of Wardrop Equilibria |
004732 | Dominique Barth ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Convergences et dynamiques du routage dans les réseaux |
004743 | Olivier Bournez [France] ; Emmanuel Hainry [France] | On the Computational Capabilities of Several Models |
004A43 | Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | Polynomial differential equations compute all real computable functions on computable compact intervals |
004C13 | Olivier Bournez [France] ; Emmanuel Hainry [France] | On the Computational Capabilities of Several Models |
004E99 | Olivier Bournez [France] ; Manuel L. Campagnolo | A Survey on Continuous Time Computation |
004F15 | Olivier Bournez [France] | Continuous Models. Computations. Distributed Algorithms. |
005157 | Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Termination in finite mean time of a CSMA/CA rule-based model |
005230 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Recursive Analysis Characterized as a Class of Real Recursive Functions |
005373 | Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation |
005600 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France] | Implicit complexity over an arbitrary structure : Quantifier alternations |
005601 | Olivier Bournez [France] | How much can analog and hybrid systems be proved (super-)Turing |
005703 | Olivier Bournez [France] ; Garnier Florent [France] ; Claude Kirchner [France] | Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b |
005722 | Olivier Bournez [France] ; Manuel Lameiras Campagnolo ; Daniel S. Graça ; Emmanuel Hainry [France] | The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation |
005916 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$ |
005A43 | Olivier Bournez [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | From Chemical Rules to Term Rewriting |
005A44 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
005C39 | Olivier Bournez [France] | How much can analog and hybrid systems be proved (super-)Turing |
006202 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Real Recursive Functions and Real Extensions of Recursive Functions |
006206 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
006370 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Elementarily computable functions over the real numbers and R-sub-recursive functions |
006618 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures |
006656 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures |
006C43 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An Analog Characterization of Elementarily Computable Functions over the Real Numbers |
006D35 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
006D61 | Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Stratégies de réécriture probabiliste dans ELAN4 |
006F04 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Real Recursive Functions and Real Extensions of Recursive Functions |
006F89 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Implicit Complexity over an Arbitrary Structure: Quantifier Alternations |
007024 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Elementarily Computable Functions Over the Real Numbers and $\mathbb{R}$-Sub-Recursive Functions |
007084 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog Characterization of Elementarily Computable Functions Over the Real Numbers |
007085 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog Characterization of Elementarily Computable Functions Over the Real Numbers |
007245 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH |
007246 | Olivier Bournez [France] ; Mathieu Hoyrup | Rewriting Logic and Probabilities |
007254 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
007256 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
007276 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time |
007999 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and Probabilities |
007A86 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time |
007A93 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
007B15 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
007C24 | Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5 |
007C25 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 |
008008 | Olivier Bournez [France] ; Paulin De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion and Calculus over an Arbitrary Structure |
008010 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
008023 | Olivier Bournez [France] | A Generalization of Equational Proof Theory? |
008240 | Olivier Bournez [France] ; Michael Branicky | On the mortality problem for matrices of low dimensions |
008764 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic Rewrite Strategies. Applications to ELAN |
008970 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3 |
008971 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2 |
008A71 | Olivier Bournez [France] ; Paulin De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion over an Arbitrary Structure: Deterministic Polynomial Time |
008C11 | Olivier Bournez [France] | A Generalization of Equational Proof Theory? |
008C92 | Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
008C93 | Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
009206 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
009264 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
009488 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1 |
009E15 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis [États-Unis] | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
00A124 | Vincent D. Blondel ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The stability of saturated linear dynamical systems is undecidable |
00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
00A174 | Olivier Bournez [France] ; Michael Branicky | On the mortality problem for matrices of low dimensions |
00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
00A465 | Olivier Bournez [France] | Some bounds on the computational power of piecewise constant derivative systems |
00A478 | Olivier Bournez [France] | Achilles and the tortoise climbing up the hyper-arithmetical hiearchy |
00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
00AE93 | Patrick Gros [France] ; Olivier Bournez [France] ; Edmond Boyer [France] | Using geometric quasi-invariants to match and model images of line segments |
00B614 | Olivier Bournez [France] ; Michael Branicky | On matrix mortality in low dimensions |
This area was generated with Dilib version V0.6.33. |